Mathematically Verified Software Kernels: Raising the Bar for High Assurance Implementations Dr Daniel Potts, VP of Engineering, General Dynamics C4 Systems Rene Bourquin, Member Technical Staff, General Dynamics C4 Syst

Source URL: sel4.systems

DecemberGreat Oaks Blvd San Jose, CaTel: (Quality Assurance and Reliability Overview Monolithic Power Systems’ Quality Assurance Organization develops, coordinates and champions

Source URL: www.monolithicpower.com

Engineering Secure Systems Lessons Learned from Building a High-Assurance Crypto Gateway The construction of a complex secure system composed

Source URL: cisr.nps.edu

ASSURE 2015: The 3rd International Workshop on Assurance Cases for Software-Intensive Systems Workshop Programme September 22, 2015 Delft, The Netherlands Tuesday, 22nd September 2015

Source URL: safecomp2015.tudelft.nl

• Prevention
• Computing
• Safety
• Computer network security
• Software quality
• Safety engineering
• Dependability
• Quality
• Computer security
• Security
• Threat
• Reliability engineering

Integrity Assurance in Resource-Bounded Systems through Stochastic Message Authentication Aron Laszka Yevgeniy Vorobeychik

Source URL: aronlaszka.com

Service-based combination of quality assurance and fusion processes for the validation of crowdsourced observations Stefan Wiemann Technische Universität Dresden Geoinformation Systems Dresden, Germany

Source URL: www.agile-online.org

RTI Connext Micro Training If you are developing software for complex distributed systems and your applications run in high-assurance systems or resource-limited devices, Connext™ Micro is your standards-based solutio

Source URL: www.rti.com

Call for Contributions Software Quality Journal Special Issue on: "Software Quality in Software-Intensive Systems" Guest Editors:

Source URL: paginas.fe.up.pt

• Software engineering
• Computing
• Software quality
• Quality
• Software testing
• Formal methods
• Pharmaceutical industry
• Validity
• Software verification and validation
• Verification and validation
• Software development
• Quality assurance

DecemberGreat Oaks Blvd San Jose, CaTel: (Quality Assurance and Reliability Overview Monolithic Power Systems’ Quality Assurance Organization develops, coordinates and champions

Source URL: 12.192.228.62

Proceedings of the 5th IEEE Systems, Man and Cybernetics Information Assurance Workshop, United States Military Academy, West Point, NY, 10–11 June 2004, ppThe Trusted Computing Exemplar Project Cynthia E. Ir

Source URL: www.cisr.us